tag($k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$outl($k$).2